Harvard University

Results: 6605



#Item
11

Asynchronous Functional Reactive Programming for GUIs Evan Czaplicki Stephen Chong Harvard University

Add to Reading List

Source URL: people.seas.harvard.edu

Language: English - Date: 2013-04-02 15:04:49
    12

    Ultraproducts and Large Cardinals: The Early History Dana S. Scott University Professor Emeritus Carnegie Mellon University

    Add to Reading List

    Source URL: logic.harvard.edu

    Language: English - Date: 2011-09-20 00:26:33
      13

      Peter Koellner Department of Philosophy 320 Emerson Hall, Harvard University Cambridge, MA3970

      Add to Reading List

      Source URL: logic.harvard.edu

      Language: English - Date: 2011-09-20 00:26:33
        14

        QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday January 18, 2011 (DayCA) Evaluate

        Add to Reading List

        Source URL: www.math.harvard.edu

        Language: English - Date: 2017-08-22 21:09:52
          15

          Learning is Change in Knowledge: Knowledge-based Security for Dynamic Policies Aslan Askarov Harvard University Abstract—In systems that handle confidential information,

          Add to Reading List

          Source URL: askarov.net

          Language: English - Date: 2017-05-02 08:00:35
            16

            Democratizing content publication with Coral Michael J. Freedman, Eric Freudenthal, David Mazi`eres New York University http://www.scs.cs.nyu.edu/coral/ Abstract

            Add to Reading List

            Source URL: read.seas.harvard.edu

            Language: English - Date: 2018-01-22 09:47:04
              17

              Making Events Less Slippery With eel Ryan Cunningham and Eddie Kohler University of California, Los Angeles , Abstract

              Add to Reading List

              Source URL: read.seas.harvard.edu

              Language: English - Date: 2018-01-22 09:47:04
                18

                Hanf Numbers and Presentation Theorems in AECs John Baldwin∗ Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago Will Boney†

                Add to Reading List

                Source URL: math.harvard.edu

                Language: English - Date: 2016-07-25 16:06:15
                  19

                  Formalizing the SAFECode Type System Daniel Huang and Greg Morrisett Harvard University, Cambridge MA 02138, USA, ,

                  Add to Reading List

                  Source URL: danehuang.github.io

                  Language: English - Date: 2017-05-24 19:52:40
                    UPDATE